H ?
«
‹
←
→
›
»
Language peer sets for PIVOT Input language: United States↑ United States/1973↑ Designed 1973 ↑ 1970s languages ↑ Fourth generation↑ High Cold War↑ Specialised Languages ↑ Specialised Languages/1973↑ Specialised Languages/us ↑ PIVOT Input language(ID:7160/)INput language for the PIVOT theorem proveralternate simple viewCountry: United States Designed 1973 Sammet category: Specialised Languages System for proving theorems "The input language for PIVOT is a simple statement-oriented language reminiscent of ALGOL W" Deutsch, Stanford, 1973 Places People: Related languages
References: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |